$\forall$$a$, $b$:$\mathbb{Z}$. $a$ $\neq$ 0 $\Rightarrow$ $b$ $\neq$ 0 $\Rightarrow$ $a$ $\ast$ $b$ $\neq$ 0